An empirical analysis of smart contracts: platforms, applications, and design patterns

Smart contracts are computer programs that can be consistently executed by a network of mutually distrusting nodes, without the arbitration of a trusted authority. Because of their resilience to tampering, smart contracts are appealing in many scenarios, especially in those which require transfers of money to respect certain agreed rules (like in financial services and in games). Over the last few years many platforms for smart contracts have been proposed, and some of them have been actually implemented and used. We study how the notion of smart contract is interpreted in some of these platforms. Focussing on the two most widespread ones, Bitcoin and Ethereum, we quantify the usage of smart contracts in relation to their application domain. We also analyse the most common programming patterns in Ethereum, where the source code of smart contracts is available.Comment: WTSC 201

On Symbolic Verification of Bitcoin's script Language

Validation of Bitcoin transactions rely upon the successful execution of scripts written in a simple and effective, non-Turing-complete by design language, simply called SCRIPT. This makes the validation of closed scripts, i.e. those associated to actual transactions and bearing full information, straightforward. Here we address the problem of validating open scripts, i.e. we address the validation of redeeming scripts against the whole set of possible inputs, i.e. under which general conditions can Bitcoins be redeemed? Even if likely not one of the most complex languages and demanding verification problems, we advocate the merit of formal verification for the Bitcoin validation framework. We propose a symbolic verification theory for of open SCRIPT, a verifier tool-kit, and illustrate examples of use on Bitcoin transactions. Contributions include 1) a formalisation of (a fragment of) the language; 2) a novel symbolic approach to SCRIPT verification, suitable, e.g. for the verification of newly defined and non-standard payment schemas; and 3) building blocks for a larger verification theory for the developing area of Bitcoin smart contracts. The verification of smart contracts, i.e. agreements built as transaction-based protocols, is currently a difficult to formalise and computationally demanding problem

p53 status and response to radiotherapy in rectal cancer: a prospective multilevel analysis

The aim of this study was to evaluate, in a prospective study, the predictive role of p53 status analysed at four different levels in identifying the response to preoperative radiotherapy in rectal adenocarcinoma. Before treatment, 70 patients were staged and endoscopic forceps biopsies from the tumour area were taken. p53 status was assessed by total cDNA sequencing, allelic loss analysis, immunohistochemistry, and p53 antibodies. Neoadjuvant treatment was based on preoperative radiotherapy or radiochemotherapy. Response to therapy was evaluated after surgery by both pathologic downstaging and histologic tumour regression grade. In all, 35 patients (50.0%) had p53 gene mutations; 44.4% of patients had an allelic loss; nuclear p53 overexpression was observed in 39 patients (55.7%); and p53 antibodies were detected in 11 patients (16.7%). In the multilevel analysis of p53 status, gene mutations correlated with both nuclear protein overexpression (P<0.0001) and loss of heterozygosity (P=0.013). In all, 29 patients (41.4%) were downstaged by pathologic analysis, and 19 patients (29.2%) were classified as tumour regression grade 1. Whatever the method of evaluation of treatment response, no correlation between p53 alterations and response to radiotherapy was observed. Our results do not support the use of p53 alterations alone as a predictive marker for response to radiotherapy in rectal carcinoma

The Extracellular Matrix and Blood Vessel Formation: Not Just a Scaffold

The extracellular matrix plays a number of important roles, among them providing structural support and information to cellular structures such as blood vessels imbedded within it. As more complex organisms have evolved, the matrix ability to direct signalling towards the vasculature and remodel in response to signalling from the vasculature has assumed progressively greater importance. This review will focus on the molecules of the extracellular matrix, specifically relating to vessel formation and their ability to signal to the surrounding cells to initiate or terminate processes involved in blood vessel formation